Abstract type - PDFSEARCH.IO - Document Search Engine

Abstract type
Results: 1261

#	Item
501	Response to the IANA Stewardship Transition Coordination Group Request for Proposals on the IANA from the Internet Number Community Abstract Proposal type I. Add to Reading List Source URL: afrinic.net Language: English - Date: 2015-01-20 01:46:22 Regional Internet Registries Internet governance Internet standards Internet in the United States Domain name system Internet Assigned Numbers Authority RIPE NCC ICANN Latin America and Caribbean Network Information Centre Internet Network architecture Computing
502	. Best Practices Steve McConnell Add to Reading List Source URL: www.stevemcconnell.com Language: English - Date: 2007-03-02 18:14:34 C Cross-platform software Abstract data type Abstraction Eiffel MUMPS syntax Software engineering Computing Computer programming
503	mxQueue Fast Queue Data-Type for Python Veersion Add to Reading List Source URL: www.egenix.com Language: English - Date: 2014-07-11 03:51:17 Computer programming Python Queue Message-oriented middleware Scheduling algorithms Priority queue IBM WebSphere MQ Software engineering Computing Abstract data types
504	Algorithmic solution of higher-type equations Mart´ın Escard´o School of Computer Science, University of Birmingham, UK Version of June 10, 2011 Abstract Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2011-06-10 08:42:01 Mathematical analysis Calculus Models of computation Lambda calculus Metric space Computable function Function Continuous function Uniform continuity Mathematics Computability theory Theory of computation
505	This is the title of an example SEG abstract using Microsoft Word 11-point bold type Add to Reading List Source URL: www.geotomo.com Language: English - Date: 2014-03-31 12:37:52 Seismology Wave Microseism
506	A Widespread and Unusual RNA Trans-Splicing Type in Dinoflagellate Mitochondria Christopher J. Jackson¤, Ross F. Waller* School of Botany, The University of Melbourne, Victoria, Australia Abstract Add to Reading List Source URL: www.botany.unimelb.edu.au Language: English - Date: 2013-02-20 17:23:59 RNA splicing Gene expression Spliceosome Intron Exon Alternative splicing Post-transcriptional modification Mature messenger RNA Group II intron RNA Biology Genetics
507	Type Dispatch for Named Hierarchical Types ∗ Neal Glew Cornell University 7 April 1999 Abstract Type dispatch constructs are an important feature of many programming languages. Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-04-14 16:12:40 Procedural programming languages Tagged union Type theory ALGOL 68 Truncated dodecahedron Denotational semantics Programming language theory Computing Software engineering
508	On Understanding Data Abstraction, Revisited William R. Cook University of Texas at Austin [removed] Abstract Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2015-04-07 18:47:44 Data types Object-oriented programming Type theory Abstract data types Programming paradigms Type system Abstraction Set Abstract type Software engineering Computing Computer programming
509	A Typed Formulation of the Semantics of Z R.D. Arthan [removed] 3rd August 2005 Abstract This document is a companion to Ian Toyn’s presentation of the semantics of Z that Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2008-07-11 10:50:31 Mathematics Formal methods Philosophical logic Quantification Free variables and bound variables Type theory Denotational semantics Combinatory logic Logic Mathematical logic Predicate logic
510	Technical reports in Computer and Information Science Report number 2008:3 A Comparative Study of Industrial Static Analysis Tools (Extended Version) Add to Reading List Source URL: liu.diva-portal.org Language: English - Date: 2010-07-16 02:44:55 Computing Data types Type theory Procedural programming languages Polyspace Abstract interpretation Static program analysis Type system Aliasing Program analysis Software engineering Programming language theory

UPDATE